It specify bulb type. Doesnt say use OEM products or specific brand just specific bulb type. When you pick a new bulb it usually states proper bulb type...when you go to the auto parts store there are a out 4 different bulbs that are type 7440/7443/194 etc..... how would the general public know which one to purchase? Sales person could try and upcharge the unsuspecting customer to an LED bulb versus filament.
Im not blaming the manual just stating if not all bulbs can be used it should be noted. A simple * would work
Why would there be a market for LED bulbs if they cant be used in a vehicle.
When buy tires do you get the exact same brand, speed rating, performance category? Probably not, close to most specs but not exact