I've got 2 available.
1, First is a standard card in perfect condition and pulled from a working system.
2, Second card has the additional FPU installed, but I've not tested this card as I don't have an A4000 any more.
Either card would have to sold as is with no returns because I can't test them before sending, but both worked before their original machines were upgraded.
Pm me if interested in either card. Price is negotiable so make me an offer.