Does anyone know how most half-time #'s are originated? Is there a basic formula for teams down/up at the half vs. their original line that they tweak a little? Do they have cappers/consultants watching all these games or do they just quickly pour over some halftime stats? Just seems like a lot of work to generate the half-time line on most the games on the board during a given day.