Ky Housing Authority and HMDA

Anyone sell loans to KHA? Would you use Finance Company (71) for Purchaser Type since they are a State housing finance agency? Or should they be Other (9)?