If they can be removed from the shelves and boxed at an average rate of 5 per second, that's 5,000 seconds or <1.5h at the most. Even after adding in trips to the new storage location, packaging, unloading, etc., and considering it's a trivially parallelisable task, it definitely seems doable to move the whole collection of 25k within a few hours.