The company I work for has probably 15+ Hakko 937s... every single one of them with cardboard wedged in it.
But a friend did get this measurement for me. I'm not sure if a 937 card is the same as a 936 (the 888ish blue key doesn't fit, found plenty of those.)