Yeah definitely customer funds. This is from their 2022 annual SEC filing. Equates to ~9480 BTC based on the closing price on that day.

Updated on the site too.