2006年5月，W自治区A市（设区的市）B县C国有企业通过房改，将其红都小区多层公房以成本价出售给职工，售房款共计8500万元，该企业职工孙某以当地房改成本价800元／m²的价格，购买了自己租住的7012的公房。2012年6月，为改善住房条件，C国有企业委托A市二级资质D房地产开发公司，利用其部分厂房用地开发建设胜利小区。2014年2月，该小区建成后，由D房地产开发公司以市场价将胜利小区300套相同房型的住房出售给职工。2014年8月1日，该小区召开了业主大会，并成立了业主委员会。2014年11月，该小区业主大会选聘了B县三级资质E物业服务公司。据此背景回答以下问题下列关于红都小区公房出售后的住宅专项维修资金问题，表述正确的是（）。