That lamp is commonly referred to as a 795 in the case of a horizontal filament, or a 795X in the case of a vertical filament. While the Code 3 literature I have seen seems to drop the X, Code 3 has been using the 795X in the MX7000 for many years. You might be able to find these locally, depending on your area, on the shelf at an auto parts store.