How much would it cost for a head gasket repair for a 93 audi cs sedan?

looking to buy this car, says it needs a head gasket repair.How much would it cost for a head gasket repair for a 93 audi cs sedan?Paid $1000.00 2 weeks ago to get one put on an Acura