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.
https://cdn.nostr.build/i/48c7ac6c30a5ddbe2a891eaca80f14c6d937a104372bf5c8c4077fae6f70f900.png