Yes
Use the DCRCLI tool, its fun, easy, and gets rif of bad breath.
dcrcli -u (username with admin level access)
It'll prompt you for the account password.
dcrcli -exp fn (path and filename to export to) -ft (file type) csv
It takes only about a minute to export 8,000 devices.