I recently needed MySQL 4.0 for some project work, and compiled RPMs from the MySQL 4.0.18 SRPM off their website. Would there be any interest in making these binary RPM's available or are they already out there for us?