Odd question, but my autistic son is wondering whether they’ve replaced the jet tubs in the Boardwalk Villas. We were there 4 years ago. Thanks!