I’d also go 9.3x62 but don’t think it’d make a lick of difference.

“Life is life and fun is fun, but it's all so quiet when the goldfish die.”