Seeing as the departure is not until late January, it leaves them plenty of time to acquire a turist visa from the nearest Thai embassy. That would both be the cheapest option (while avoiding overstay), and they would not have to spend potentially a whole day of the holiday in an immigration office to extend their 30 day visa exempt.