Is the business code for residential renting 531100

is this the correct code for Residential Real Estate?
Your "Lookup a Business" feature results in code 531100, however the IRS gives a different code 531110:
https://www.irs.gov/instructions/i1065/ar03.html

I am tempted to go with the IRS here.