Official Record data PBC, FL -- pool funds to purchase or trade?

[Fred Kite]

I'm looking to get a copy of the Official Records Index CDs for Palm Beach County FL from 1968 to present.  The county sells them for $40/year.  Does anyone want to pool funds to purchase the data?

It goes back to 1968 so would cost $1960 for the full set.

(From what I can tell since they are public records with no specific protection sharing them should be legal- see https://en.wikipedia.org/wiki/Microdecisions,_Inc.... )

Or perhaps if there are people that have other counties would anyone be interested in trading?