Seems a bit overreaching. I've never seen one larger than a quarter of that.
Everything is bigger in Texas.