Mine came in original philips boxes/packaging and light pattern and output got much better than I had with regular bulbs.
Sent from Android using IH8MUD
Without much research, it seems both of them Phillip bulbs. I got Philips bulbs from amazon when they had sale $16 and $18 and have been happy since then.
I am not sure on how may Lumens they are.
Just search Amazon for 9012 and 9011.
Trimming
I recently put high/low Phillips HIRs from Amazon. Amazon had sale 16&18 per bulb with free shipping.
I found this on Google and it was extremely helpful and it took me like 5 min to do the mod with nail clipper.