I'd say he's around that size. It always seems like the bigger the diameter of the tree the bigger the deer. Never watched a small buck rub on larger trees. Especially when a rub is tall like that you know that the antlers are able to rub a lot more surface area and reach higher up on the tree than a smaller buck can.
Good luck on hunting him down!