Thanks for your confirmation, Thomas. I know Rodenstock lenses are some of the best enlarging lenses you can get, and I know how to use Beseler enlargers. I've never used Omega enlargers, and as of yet I don't know what kind of 4x5 camera he's including.
It seems like a great deal for both of us - he wants to move up to a more modern DSLR, and I want to get back into the darkroom. It seems fair to me, but I just wanted confirmation.