Yeah if the 9880H is throttling/TDP restricted. If not it scores about 21K.
https://www.3dmark.com/fs/21266376
That being said, that is still mightily impressive given last gen for AMD in laptop were 4c8th.
That is right up there
throttling is a real case scenario though - most intel top of the range gaming CPUs get very very hot