Yes, wow. If both of those are in full working order you may have officially won at garage sales.
I'll second the advice to look for a way to unlock the printer to use third party filaments, though. 3DS filaments are nothing special for the price they charge, and getting away from them as fast as possible is a good move for the wallet. (same can be said for any proprietary locked cartridge filaments, really)