Did those cars ever come with 3800's?
I sure didn't think so, but I could be mistaken.
A 3800 is notably larger than a 3.1 (outside dimension).
If the car initially had a 3.1, I'd definitely be getting another one
to replace it with. Why borrow trouble?