I recently needed the single and dual HDMI cards you are looking for.
I was able to get one single HDMI for the 9 series that was drop shipped from Panasonic (maybe I got the last one?). I actually found the dual HDMI cards for the 10 series on Amazon of all places and was able to order two.
They still show 5 in stock so might be worth a try... don't know how many you need.
[Link: amazon.com]