I wonder if this belt drive oil pump is internal or external drive. If it's external that wouldn't be to bad.
John