Can only assume it's true until proven otherwise or confirmed by someone more official, but I've updated the post accordingly.
Btw, does anyone know exactly what day they resumed filming after the holiday break? I've got them filming again on Wednesday, Jan. 5th, but I've also heard they may have started on Jan. 4th. Anyone know? Give me a heads-up in the comments at the link. Thanks! :)