I think your maths is correct, but would point out that for most of us who fly from farmstrips and suchlike, 100LL is not particularly available.
I've been running on En228 premium unleaded since it became legal without incident. Many engines prefer it, since you don't get furring of the plug contacts.
G