I'm looking to install new "clear" tail light lenses and I need to replace the bulbs with red. The manual calls for 3457, the only bulbs I found on the shelf are for 3157 replacement.

What's the difference between 3457 and 3157? (There doesn't appear to be any physical differences). If there is a difference, does anyone make a red 3457?