While most Marin restaurants choose to take a break on Christmas Day, there are still plenty of options for those who don’t ...