But I've just looked at the DNS and it's definitely a single TXT record of 299 chars on @ and in fact has two other SPF TXT entries for "mail" and "ir" whatever the fuck that is (AWS SES).
SES uses a subdomain for the Mail From (to keep bounce processing and still achieve SPF alignment for DMARC), so that's why you have SPF records there (Header From of the messages will be the @, Mail From/Envelope Sender is the subdomain).
domain?