A Lagos-based property development firm, Messrs Propertygate Development and Investment Plc, has given a boost to housing provision in the popularLekki peninsular corridor with the completion of a highbrow mini residential housing estate.