Or you can buy one with already installed. Installation will add another 2-3 grands unless you are going to install it yourself.
Don't know where you're having your work done, but an older guy I know had one installed when they were still readily available at the local dealership, $85/hr rate then, for under $1k.
that she does not need new tile in the back bathroom

who are by no means at your skill level.