According to this netflix discrete command on Remote Rentral, the protocol is a 36bit Samsung. I'm not sure how common it is, but Samsung also have a 20bit format. This one is at 38kHz while the 20bit is 38.4kHz - close enough that the device and universals wouldn't care either way.

That BD player uses the same codes as pretty much every other Samsung BD player (URC codeset DVD 352). I have the model listed among many in the editor software for my URC. It looks like the commands included are those from the remote. I can generate pronto hex for all possibilities for you if you're interested in trying to find any working commands that aren't listed.