[rjp]

Well it was 11.5 earlier and so I was happy to see 12 an hour before game time... you're right though, there will probably be a 12.5 here or there just a few minutes before the game starts.