マップランプ三面図です。ん？横がない？(^^:)
奥行きは30mmぴったしです。

これで新品8,400円はちと高い気がします。
まあ、滅多に壊れるところではないでしょうけど...