With no trading on Christmas and shortened trading days on christmas eve and the day after Christmas, what will happen to the time value of an option with a theta of 0.15? Will the value of the option decrease because of the shortened and closed trading days? Or are these days already factored into the price?