I think that 13.5" may be the 2nd biggest storm at Pearson? I'd have to check but I'm pretty sure...maybe 3. But, obviously, in reality, we've seen a lot of bigger storms than that since 1937.
The nice thing is now with social media, everyone is out there with their rulers and posting totals. The official obs matter much less than they used to imho.