Yes, only the whole card should be shown as one entry in the early startup menu. PPC will not show because it's not recognized by the standard 3.x roms.
If the buyer sees the PPC working with his own eyes and still believes the card is broken, I wonder what he wants to do with it. Stare at the early startup menu and look at info he's never going to get?
Dump the buyer and find one that does appreciate the card; there should be enough people interested in this hardware!