I am inclined to believe Gruber. If he stakes his reputation (very important to his massively inflated ego) on a specific number, it means he's satisfied it's correct, and that's a pretty strong vote in my book. Could be wrong of course but in the absence of hard evidence I go by gut & human nature...