I know it's not, but it is possible to build a profile for different machines that brings them all down to the lowest denominator, so they all behave the same.
I hadn't checked to see the vintages of Bay's printers. When going from one machine to the next, then yes, specific profiles for The Machine (I run around 20 papers plus laminates, all calibrated and profiled to the current machine). Did as you did when I went from 9800>8300>8400.
I believe Andrew did something not dissimilar when he worked on profiles for Epson; average out the outputs from various machines, though istr they were all from same generation. But we've had the option to cross profile so our 8-10 channel machines can act as proofers for 4 colour process (cross profile is the wrong term, I think; sorry, keep losing words these days)