I remember the MiniPCI variants, it makes sense that a full-size PCI one would've existed. Post a photo if you find it!