Both the jacuzzi and sauna at Del Mar Villas have been non-operational for several weeks, apparently due to a gas leak.  Unfortunately for residents, there does not seem to be a real timetable for getting these fixed.

Quite a bummer.