Spot on there. I had mine done about a month ago with an ACL gasket kit. Paid a bit more than 500 for it though(not by much). I ended up paying $3,000 for all the work I had done at the time, that included other stuff unrelated to the head gasket issue though but for that job alone 2000-2500 would be where it's at.