The company that did the work is maintenance1st.
They did good work, were well behaved, adapted to my needs, communicated well and came in more or less on quote given my demanding adaptions as we went.
They are understaffed or over-demanded though, so while it took about as many man-hours as expected, those got spread out over twice as many calendar days as expected so it took twice as long.
It felt expensive but I think that's mostly the 25% inflation we've had in the last few years.