Brixly Workspace - What changes do I need to make to my DNS records?

The correct DNS records for our Brixly Workspace emails are as follows...

MX Record: 

Priority 10 | mail.hostns.io
Priority 10 | mail-01.hostns.io

SPF  / TXT Record: 

v=spf1 ip4:23.88.6.16 +a +mx +include:relay.mailchannels.net -all