Above is the way to go, just be careful with map pings in that they are a one off map, if the account address changes again the contact address will not change. I'd suggest an asynchronous plugin that fires on update of address fields in account that finds all related contacts and populates the address fields. Combined with the initial mappings this should cover all bases.
↧