WTD! Amiga 4000D 3.1 ROM's

[drwho]

Vesalia had some last time I checked - I ended up buying mine off some dude in Cali who may have some till (ebay).  I'll root around for his linky.

I think I know the guy you are talking about, looks like he burns the PROM's himself if it's the same dude. AFAIK, kickstart roms never came in ceramic packages.

My 3.1 ROM in my A2000 works great though, so, the dude is legit, in that sense anyways. :-)

[drwho]

My choices are:
A4000T 3.1 ROM's - Amigakit - £28.58 + P&P [Requires workbench.library]
A4000 3.1 ROM's - eBay Secondhand Working - USA - £26 Delivered
A4000 3.1 ROM's - Vesalia - Germany - £42.82 Delivered
hmmmm......I wonder!!!!! If I could get over this library problem I would by from Amigakit first and always - I trust them to start with, that helps!

How do you get around the workbench.library issue? Can you get the actual library and just drop it onto your file system or is the file itself not readily available?