With the belt(s) and intercooler out of the way, and the proper tool to pull the pulley (free rental via AZ, as an example), it might be tedious, but not that difficult just to remove the pulley. Access to the plumbing is where the grief comes from, I think.