"If we go with option #2, how long would it take to recompress an hour (or 30 hours) of 10 Bit Uncompressed footage to DV25 using Media Manager? A rough estimate would be helpful! "
your are the best one to answer that question,
as no one else knows the specifics of your system.
re-compress one hour and time it.
or, if you have the storage,
just set it all to re-compress overnight, for a couple or few nights and you'll may be done.
another option:
go without the clone process & capture from your various formats to DV25 for offline
in the online capture from your various formats as 10bit uncompressed.
nick