re: #153 Wendell Zurkowitz (slave of the waffle light)

When I was a kid, our home phone ended in 5117. The local post office phone number ended in 5177. So, you can imagine.