А зачем он хочет 5,5 указывать? У него же миллион налогового вычета при продаже. Он спокойно может указывать полную стоимость, никаких налогов у него не возникает. При расчетах будет две ячейки, остаток кредита банку, а во второй продавцу. Есть там рискованные моменты, поскольку обременение не сразу снимается.